Infeasible Basis Paths Detection of Program with Exception-Handling Constructs

Infeasible paths increase the complexity and redundancy to programs. It is a key problem of structural testing to detect the infeasible paths. The paper proposes an infeasible basis paths detecting method for the program with exception constructs based on the correlations of different conditional statements. The technique combines exception propagation with the correlations of different conditional statements to analyze the impacts of exception propagation on paths feasibility. The correlations are determined according to dataflow analyses. Finally, we apply the proposed method in some programs. The results show that the method can accurately detect infeasible basis paths, which can save test resources and improve test efficiency.